401. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
پدیدآورنده : Jens Palsberg )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1824
402. Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
پدیدآورنده : Agostino Cortesi, Gilberto File
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
1694
403. Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
پدیدآورنده : Roberto Giacobazzi )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
3148
404. Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
پدیدآورنده : Radhia Cousot )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2694
405. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
پدیدآورنده : Roberto Giacobazzi )ed.(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I5733
2004
406. Static analysis : third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993 : proceedings
پدیدآورنده : Patrick Cousot...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
724
407. Swift 3 for Absolute Beginners
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
408. #Swift for dummies
پدیدآورنده : #Jesse Feiler
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Swift )Computer program language( ،Programming languages )Electronic computers(
رده :
#
QA
،#
F455
،#
2015
409. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
410. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
411. System simulation : programming styles and languages
پدیدآورنده : Kreutzer, Wolfgang.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
412. System simulation:programming styles & languages
پدیدآورنده : KREUTZER,WOLFGANG
کتابخانه: (طهران)
موضوع : DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74
413. #System technical manual
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Computer programs ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S98
414. Systems software tools
پدیدآورنده : Ted J. Biggerstaff
کتابخانه: (طهران)
موضوع : Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(
رده :
QA
76
.
7
.
B52
415. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
416. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: (طهران)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
66
417. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده : editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: (طهران)
موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
418. The Art of Modelling Computational Systems :
پدیدآورنده : Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
419. The C answer book :
پدیدآورنده : Clovis L. Tondo, Scott E. Gimpel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
420. The Imperative future :principles of executable temporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al.[
کتابخانه: (خراسان الجنوبیة)
موضوع : Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
